大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFIP Working Conference on Machine Oriented Higher Level Languages 的图书(共7197本)

Database Theory-ICDT 2007 [electronic resource] : 11th International Conference, Barcelona, Spain, January 10-12, 2007. Proceedings

0
索取号：
作者：Schwentick、 Thomas.、Suciu、 Dan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Machine Learning for Multimodal Interaction [electronic resource] : Third International Workshop, MLMI 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papers

0
索取号：
作者：Renals、 Steve.、Bengio、 Samy.、Fiscus、 Jonathan G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Declarative Programming for Knowledge Management [electronic resource] : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers

0
索取号：
作者：Umeda、 Masanobu.、Wolf、 Armin.、Bartenstein、 Oskar.、Geske、 Ulrich.、Seipel、 Dietmar.、Takata、 Osamu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Implementation and Application of Functional Languages [electronic resource] : 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

0
索取号：
作者：Butterfield、 Andrew.、Grelck、 Clemens.、Huch、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Distributed Computing in Sensor Systems [electronic resource] : 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings

0
索取号：
作者：Nikoletseas、 Sotiris E.、Chlebus、 Bogdan S.、Johnson、 David B.、Krishnamachari、 Bhaskar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Neural Information Processing [electronic resource] : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II

0
索取号：
作者：Ishikawa、 Masumi.、Doya、 Kenji.、Miyamoto、 Hiroyuki.、Yamakawa、 Takeshi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Neural Information Processing [electronic resource] : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I

0
索取号：
作者：Ishikawa、 Masumi.、Doya、 Kenji.、Miyamoto、 Hiroyuki.、Yamakawa、 Takeshi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

0
索取号：
作者：Meyer、 Bertrand.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

4th Kuala Lumpur International Conference on Biomedical Engineering 2008 [electronic resource] : BIOMED 2008 25鈥⸠June 2008 Kuala Lumpur, Malaysia

0
索取号：
作者：Abu Osman、 Noor Azuan.、Ibrahim、 Fatimah.、Wan Abas、 Wan Abu Bakar.、Abdul Rahman、 Herman Shah.、Ting、 Hua-Nong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

From Animals to Animats 10 [electronic resource] : 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings

0
索取号：
作者：Asada、 Minoru.、Hallam、 John C. T.、Meyer、 Jean-Arcady.、Tani、 Jun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Intelligent Tutoring Systems [electronic resource] : 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008 Proceedings

0
索取号：
作者：Woolf、 Beverley P.、A茂meur、 Esma.、Nkambou、 Roger.、Lajoie、 Susanne.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Model Driven Architecture-Foundations and Applications [electronic resource] : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

0
索取号：
作者：Schieferdecker、 Ina.、Hartman、 Alan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Requirements Engineering: Foundation for Software Quality [electronic resource] : 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings

0
索取号：
作者：Paech、 Barbara.、Rolland、 Colette.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino

0
索取号：
作者：Beckert、 Bernhard.、H盲hnle、 Reiner.、Schmitt、 Peter H.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Haptics: Perception, Devices and Scenarios [electronic resource] : 6th International Conference, EuroHaptics 2008 Madrid, Spain, June 10-13, 2008 Proceedings

0
索取号：
作者：Ferre、 Manuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

New Frontiers in Applied Artificial Intelligence [electronic resource] : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroc艂aw, Poland, June 18-20, 2008 Proceedings

0
索取号：
作者：Nguyen、 Ngoc Thanh.、Borzemski、 Leszek.、Grzech、 Adam.、Ali、 Moonis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.